"Anne S. Troelstra" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)

A. S. Troelstra, H. Schwichtenberg, Anne S. Troelstra

Категория: Компьютеры

3.30 Mb

#2

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Anne S. Troelstra

Категория: Lecture notes

705 Kb

#3

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Anne S. Troelstra

Категория: Lecture notes

2.77 Mb

#4

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

A. S. Troelstra, H. Schwichtenberg, Anne S. Troelstra

6.14 Mb